Point Axioms in Dedekind Categories
نویسندگان
چکیده
A Dedekind category (locally complete division allegory) D is a category satisfying the following:
منابع مشابه
A Note on Induction, Abstraction, and Dedekind-Finiteness
The purpose of this note is to present a simplification of the system of arithmetical axioms given in previous work; specifically, it is shown how the induction principle can in fact be obtained from the remaining axioms, without the need of explicit postulation. The argument might be of more general interest, beyond the specifics of the proposed axiomatization, as it highlights the interaction...
متن کاملCategorical Representation Theorems of Fuzzy Relations
This paper provides a notion of Zadeh categories as a categorical structure formed by fuzzy relations with sup-min composition, and proves two representation theorems for Dedekind categories (relation categories) with a unit object analogous to one-point set, and for Zadeh categories without unit objects.
متن کاملClosure Systems and Closure Operations in Dedekind
The concepts of closure systems and closure operations in lattice theory are basic and applied to many fields in mathematics and theoretical computer science. In this paper authors find out a suitable definition of closure systems in Dedekind categories, and thereby give an equivalence proof for closure systems and closure operations in Dedekind categories.
متن کاملDemonic orders and quasi-totality in Dedekind categories
This paper presents a proof of the associativity of demonic composition of relations in Dedekind categories and shows that the demonic composition is monotonic with respect to two demonic orderings on relations, which are defined by quasi-total relations, respectively.
متن کاملAlgebraic Formalisations of Fuzzy Relations
The aim of this thesis is to develop the fuzzy relational calculus. To develop this calculus, we study four algebraic formalisations of fuzzy relations which are called fuzzy relation algebras, Zadeh categories, relation algebras and Dedekind categories, and we strive to arrive at their representation theorems. The calculus of relations has been investigated since the middle of the nineteenth c...
متن کامل